1. Theories for admissible sets :
پدیدآورنده : Gerhard Jäger
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Admissible sets,Definability theory (Mathematical logic),Proof theory
2. Theories for admissible sets : a unifying approach to proof theory
پدیدآورنده : Jager, Gerhard
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Proof theory,، Admissible sets
رده :
QA
9
.
54
.
J34
1986